فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها




گروه تخصصی











متن کامل


نویسندگان: 

DEYPIR M. | SADR ALDINI M.H.

اطلاعات دوره: 
  • سال: 

    2009
  • دوره: 

    33
  • شماره: 

    B6
  • صفحات: 

    511-526
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    322
  • دانلود: 

    0
چکیده: 

Mining association RULES in DISTRIBUTED databases is an interesting problem in the context of parallel and DISTRIBUTED data mining. A number of approaches have, so far, been proposed for DISTRIBUTED mining of association RULES. However, most of them consider all types of frequent itemsets the same, even though there are different types of itemsets in DISTRIBUTED databases, e.g., derivable and non-derivable. In this study, a new application of DEDUCTION RULES is introduced for DISTRIBUTED mining of association RULES which exploits the derivability of itemsets to reduce communication overhead and to enhance response time. A new algorithm is proposed which mines derivable and non-derivable frequent itemsets in a DISTRIBUTED database. Since the collection of derivable and non-derivable frequent itemsets form all frequent itemsets, our algorithm mines all frequent itemsets rather than a subset of them. In the algorithm, there is no need to scan local databases and exchange messages in order to obtain support counts of derivable frequent itemsets, since each site can produce them autonomously. Experimental evaluations on horizontally partitioned real-life datasets show that such exploitation drastically reduces communication and also improves response time.  Therefore the new algorithm is useful when communication bandwidth is the main bottleneck.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 322

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1390
  • دوره: 

    2
  • شماره: 

    3
  • صفحات: 

    53-65
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    996
  • دانلود: 

    189
چکیده: 

عامل های هوشمند به عنوان وسایل برجسته ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می شوند. این عاملها با یکپارچه سازی آنتولوژ ها و قوانین در وب معنایی، می توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع شده کارا برای یکپارچه سازی آنتولوژی ها و قوانین در چندین پایگاه دانش است. روش های ارائه شده برای استنتاج توزیع شده، اغلب بسیار زمانبر و حافظه بر بوده، به استنتاج کامل و دقیقی منجر نمی شوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شده ای را پیشنهاد می کنیم که بر اساس منطق order-sorted به ارائه دانش می پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاه های دانش استفاده می کند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمی مانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده می شود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاه های دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیع شده ای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 996

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 189 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

نباتی فرشته

نشریه: 

حکمت سینوی

اطلاعات دوره: 
  • سال: 

    1389
  • دوره: 

    13
  • شماره: 

    42
  • صفحات: 

    61-81
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1339
  • دانلود: 

    0
چکیده: 

چکیده فارسی:مهمترین مبحث منطق، استدلال است که در کتب منطقی تحت عنوان حجت مورد بحث قرار می گیرد. قدما حجت را به سه دسته قیاس، استقراء و تمثیل تقسیم می کردند. در مورد اقسام و نوع تقسیم بندی حجت اشکالاتی مطرح شده است. از طرفی علاوه بر نظریه قیاس که بی شک شاهکار ارسطو است یکی دیگر از کارهای مهم ارسطو در حوزه منطق بحث «عکس»، «تناقض» و «تضاد» است. البته در ارغنون این مباحث به طور پراکنده مطرح شده اند. ابن سینا نسبت هایی را به نسبت های مورد نظر ارسطو افزود و با دریافت همانندی همه این مباحث، در آثار منطقی خود همه آن ها را در کنار هم آورد. پس از ابن سینا منطقیان به پیروی از او همه این نسبت ها را تحت عنوان «احکام قضایا» مطرح کردند. همین مبحث در کتاب های جدید منطق سنتی تحت عنوان «استدلال مباشر» آمده است. این عنوان حاکی از آن است که این منطق دانان «احکام قضایا» را از جنس حجت و استدلال می دانند. در این مقاله، از این نظر دفاع شده است و با فرض استدلال بودن عکس و امثال آن تقسیمی از حجت مطرح گردیده که جایگاه این استدلال ها در آن مشخص شده و اشکالات تقسیم پیشین را هم نداشته باشد. چکیده عربی:یعد الاستدلال من أهم المواضیع فی علم المنطق حیث تتم دراسته فی کتب المنطق باسم الحجة، و قد قسم القدماء الحجة إلی ثلاث مجموعات القیاس، و الاستقرا، و التمثیل، و طرحت عدة شبهات حول هذه الاقسام و وعها. و اضافة الی نظریة القیاس التی بحد ذاتها من بدائع ارسطوعتبر موضوع العکس و التضاد و التناقض من نظریاته المهمة فی علم المنطق. هذه المواضیع قد طرحت فی کتاب الأرغنون بشکل متناثر.و اضاف ابن سیناء نسبا الی نسب ارسطو المعنیة، و بعد وقوفه علی تماثلها، قام بتنسیقها الی جانب بعضها البعض فی آثاره. و طرحت هذه النسب تحت حیث قام علماء المنطق بعد ابن سیناء باتباع «احکام القضایا» عنوان منهجه. علما بأن الموضوع قد تم ذکره فی الکتب الحدیثة لعلم المنطق وفید هذا العنوان بأن علماء المنطق «الاستدلال المباشر» التقلیدی باسم یرون أحکام القضایا من نوع الحجة و الاستدلال.هذه المقالة تتناول الدفاع عن تلک النظریة، فتقدم تقسیما جدیدا لموضوع الحجة معتبرة نسبة العکس و أمثاله من أنواع الاستدلالات. موضحة مکانة هذه الاستدلالات بحیث تخلو من الشبهات السابقة.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1339

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 1
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نشریه: 

استقلال

اطلاعات دوره: 
  • سال: 

    1385
  • دوره: 

    25
  • شماره: 

    2
  • صفحات: 

    1-10
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1059
  • دانلود: 

    0
چکیده: 

نظریه آشکارسازی توزیعی و استفاده از شبکه های آشکارسازی به عنوان یکی از مسایل مهم تحقیقاتی به شمار می آید. در اکثر کارهای قبلی، نتایج با فرض استقلال شرطی مشاهدات به دست آمده است. در این مقاله، مساله آشکارسازی توزیعی با ساختار موازی و تصمیمات محلی تک بیتی با فرض عدم استقلال مشاهدات از یکدیگر، مورد بررسی قرار می گیرد و روشهای عددی برای رسیدن به قوانین تصمیم گیری محلی بهینه براساس معیار نیمن- پیرسون ارایه می شود. روش کار بدین نحو است که ابتدا برای شبکه آشکارسازی موازی هنگامی که قاعده ادغام ثابت است، مجموعه ای از شرایط لازم برای بهینگی قواعد تصمیم گیری محلی به دست آمده و سپس یک الگوریتم برای محاسبه این قوانین ارایه خواهد شد. در پایان به کمک شبیه سازی، کارایی این الگوریتم ارزیابی می شود.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1059

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1387
  • دوره: 

    14
تعامل: 
  • بازدید: 

    1522
  • دانلود: 

    686
چکیده: 

در دو دهه قبل توانایی های فنی بشر برای تولید و جمع آوری داده ها به سرعت افزایش یافته است. بطور کلی استفاده همگانی از وب و اینترنت ما را مواجه با حجم زیادی از داده و اطلاعات می کند. این رشد انفجاری در داده های ذخیره شده، نیاز مبرم وجود تکنولوژی های جدید و ابزارهای خودکاری را ایجاد کرده که به انسان یاری رسانند تا این حجم زیاد داده را به اطلاعات و دانش تبدیل کند. داده کاوی به عنوان یک راه حل برای این مسائل مطرح می باشد. داده کاوی را می توان عمل استخراج اطلاعات پنهان در یک پایگاه داده بزرگ تعریف کرد. داده کاوی به تحلیلگران برای پیدا کردن الگوها و روابط بین داده ها کمک می کند. یکی از مهمترین زمینه های داده کاوی کشف قوانین وابستگی یا Association RULES mining می باشد که هدف از آن یافتن قوانین الگوهای پنهان در بین حجم زیادی از داده ها است. همچنین چگونگی کاوش در بین داده هایی که حاوی اطلاعات زمانی هستند به عنوان یک مساله مهم در امر داده کاوی مطرح است. از آن جایی که بعضی از اقلام داده در کل پایگاه داده به وفور تکرار نمی شوند، در صورتی که در یک بازه زمانی دارای درجه پشتیبانی (support) بالایی هستند،Temporal Association RULES mining به کشف قوانین موجود در یک بازه زمانی در پایگاه داده می پردازند. یکی از مسائل مهم در زمینه کاوش در داده های زمانی چگونگی تقسیم بندی داده ها به بازه های زمانی می باشد. در این مقاله با ارائه روشی که از الگوی تقویمی برای مشخص کردن بازه های زمانی استفاده می کند و ترکیب آن با روشی که از گراف رابطه بین اجزای پایگاه داده استفاده می کند به استخراج قوانین موجود در این بازه های زمانی پرداخته می شود.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1522

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 686
اطلاعات دوره: 
  • سال: 

    1393
  • دوره: 

    1
  • شماره: 

    1
  • صفحات: 

    83-102
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1618
  • دانلود: 

    3387
چکیده: 

لطفا برای مشاهده چکیده به متن کامل (PDF) مراجعه فرمایید.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1618

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 3387 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
اطلاعات دوره: 
  • سال: 

    1400
  • دوره: 

    9
  • شماره: 

    1 (پیاپی 33)
  • صفحات: 

    1-17
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    297
  • دانلود: 

    127
چکیده: 

کاوش قواعد هم آیی توزیع شده یکی از روش های مهم داده کاوی است که وابستگی بین اقلام داده ای را از منابع داده ای غیرمتمرکز، بدون توجه به مکان فیزیکی آن ها و بر مبنای فرآیند استخراج اقلام مکرر استخراج می کند. هنگامی که الگوریتم های کاوش روی داده های بزرگ مقیاس اجرا می شوند، مقدار زیادی اقلام مکرر تولید می گردد که بسیاری از آن ها غیر مرتبط، مبهم و غیر قابل استفاده برای کسب و کار است و سبب بروز چالشی به نام " انفجار ترکیبی" خواهد شد. در این مقاله یک روش ایتلافی جدید مبتنی بر داده کاوی توزیع شده و هستان شناسی دامنه که به اختصار DARMASO نامیده می شود برای برخورد با این چالش پیشنهاد شده است. این روش از سه الگوریتم به نام ARMASOMAIN جهت هدایت و کنترل فرآیند کاوش و تجمیع قواعد هم آیی، DARMASOPRU برای کاهش و هرس داده ها و الگوریتم DARMASOINT برای کاوش و تجمیع قواعد هم آیی تولیدشده از منابع داده ای توزیع شده استفاده می کند. DARMASO از یک الگوی محاسباتی توزیع شده مبتنی بر چارچوب نگاشت-کاهش در محیط توزیع شده چندعاملی استفاده می کند. همچنین یک روش عملی را برای کاوش معنایی از مجموعه داده های بزرگ مقیاس فراهم می کند. این روش، قواعد هم آیی را مبتنی بر اهداف داده کاوی و نیاز کاربر فیلتر کرده و فقط قواعد مفید را تولید و نگهداری می کند. کاهش فضای کاوش و فیلترسازی قواعد، با فرآیند هرس معنایی در قالب حذف نامزدهای نامناسب از مجموعه اقلام مکرر و تولید قواعد هم آیی سودمند حاصل می شود. پیاده سازی با استفاده از یک مجموعه داده ای از دامنه حوادث طبیعی و کلاس زمین لرزه انجام شده است. نتایج ارزیابی با استفاده از معیارهای کمی و کیفی نشان می دهد، الگوریتم های ارایه شده در DARMASO، فضای کاوش را به میزان قابل توجهی کاهش می دهد. همچنین سرعت و کیفیت استخراج قواعد را بهبود بخشیده و قواعد کاربردی، مطمین، منطقی، با کیفیت و ارزشمندی را برای پشتیبانی از تصمیم گیری از میان انبوه داده ها تولید می کند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 297

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 127 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

SIRJANI M. | MOVAGHAR A.

نشریه: 

Scientia Iranica

اطلاعات دوره: 
  • سال: 

    2005
  • دوره: 

    12
  • شماره: 

    1
  • صفحات: 

    55-65
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    377
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

Rebeca is an actor-based language for modeling concurrent and DISTRIBUTED systems, Its Java-like syntax makes it easy-to-use for practitioners and its formal foundation is a basis to make different formal verification approaches applicable. Compositional verification and abstraction techniques are used in formal verification of Rebeca models to overcome state explosion problems, The main contribution of this paper is to show how model checking and DEDUCTION are integrated for verifying certain properties of these models. DEDUCTION is used to prove that abstraction techniques preserve a set of behavioral specifications in temporal logic and is also used in applying the compositional verification approach, on the basis of the model checked components.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 377

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1403
  • دوره: 

    15
  • شماره: 

    1
  • صفحات: 

    217-229
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    11
  • دانلود: 

    0
چکیده: 

منطق زیر شهودی F که نسبت به معناشناسی کریپکی (بدون نیاز به وجود شرط خاصی روی رابطه ی دسترس پذیری مدل های کریپکی) درست و تمام است، اولین بار توسط جیووانا کرسی مطالعه شد. دستگاه اثباتی ارائه شده برای این منطق، دستگاه اثباتی هیلبرتی است. دستگاه WF، به عنوان یک منطق زیرشهودی دیگری که ضعیف تر از دستگاه F است، نخستین بار توسط دیک د یانگ و فاطمه شیرمحمدزاده ملکی معرفی شده است. منطق زیرشهودی WF نسبت به مدل های همسایگی جدیدی که تا حدی پیچیده تر از مدل های همسایگی شناخته شده برای منطق های وجهی کلاسیک (غیر-نرمال) است، درست و تمام است. تنها دستگاه اثباتی معرفی شده برای این منطق زیر شهودی ضعیف تر، دستگاه اثباتی هیلبرتی است. از آنجا که تا کنون هیچ دستگاه استنتاج طبیعی برای هیچکدام از این دو منطق زیرشهودی پایه ارائه نشده است، در این مقاله تلاش خواهم کرد تا برای هر یک از دو منطق زیرشهودی WF و F یک دستگاه استنتاج طبیعی مناسب (درست و تمام) معرفی کنم.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 11

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

میرزاپور مهدی

نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1389
  • دوره: 

    1
  • شماره: 

    2
  • صفحات: 

    119-150
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    994
  • دانلود: 

    191
چکیده: 

قواعد قیاس حملی، که معمولا تحت عنوان “the RULES of the Categorical Syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرات در بازنویسی ها وابسته به عوامل مختلفی است که می توان به دو عامل سلیقه و ذوق مؤلف در ارائه مطالب و دیگری، منبع یا منابع مورد انتخاب مؤلف، اشاره کرد. هدف از این مقاله در گام اول، ارائه روشی تحلیلی جهت صوری سازی این قواعد است که منجر به ایجاد روش های مکانیکی و الگوریتمی شود؛ و در گام بعد، بتوان از رهیافت صوری سازی و محاسبه پذیر شدن این قواعد، با استفاده از یک الگوریتم قابل پیاده سازی توسط ماشین، به بررسی دقیق قواعد قیاس، در برخی از منابع آموزشی منطق پرداخت. در این مقاله، علاوه بر دسته بندی قواعد قیاس حملی، تقریر جدیدی از قواعد آن، با استفاده از مفهوم انبساط، ارائه می شود.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 994

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 191 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button